🔄 Finite State Machines - matmat · Scour

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems ⏰Temporal Logic

arxiv.org·6d·

April 1, 2026 🌊Stream Ciphers

the grugq's newsletter via buttondown.com·1d·

Review: SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems ⚙️TLA+

emptysqua.re·1d·

Programming languages for AI 💻Programming languages

blog.ploeh.dk·3d·

Formal Verification in Any Language for Everybody ⚔️Lean Tactics

dev-log.me·2d·Hacker News·

Signals, the push-pull based algorithm 🔄Lens Laws

willybrauner.com·1d·Hacker News·

dropbox/dMATH: Formal verification and theorem proving tools ⚔️Lean Tactics

github.com·3d·Hacker News·

Functional programming is the simplest way to scale agentic development 💻Programming languages

cyrusradfar.com·1d·Hacker News·

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning ⏱️Interval Parsing

arxiv.org·1d·

IronFleet: proving practical distributed systems correct ⚔️Lean Tactics

youtube.com·5d·Lobsters·

Building a ‘Human-in-the-Loop’ Approval Gate for Autonomous Agents ✨Algebraic Effects

machinelearningmastery.com·2d·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification ⚔️Lean Tactics

goedelcodeprover.github.io·6d·Hacker News·

Swift Concurrency Explained: Actors, Executors, and Reentrancy 🌳Incremental Parsing

hackernoon.com·1d·

Tracing Goroutines in Realtime with eBPF 🛡️eBPF Security

sazak.io·2d·Hacker News, Hacker News·

Code generation that just works ⚔️Lean Tactics

maryrosecook.com·6d·

Introducing the Shaped Signal Engine 🌊Stream Processing

shaped.ai·2d·

Designing FSMs Specifications from Requirements with GPT 4.0 ✅Formal Methods

arxiv.org·1d·

Train 📊APL Heritage

aplwiki.com·3d·Hacker News·

A WASM first programming language with effect typing 🧩WASM Components

voyd.dev·2d·Hacker News·

Pipevals: Evaluation pipelines for every LLM application 💧Liquidhaskell

pipevals.com·2d·Lobsters, Hacker News·

Loading more...